A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
نویسندگان
چکیده
This chapter presents the hybrid Temporal Trace Language (TTL) for formal specification and analysis of dynamic properties of multi-agent systems. This language supports specification of both qualitative and quantitative aspects, and subsumes languages based on differential equations and temporal logics. TTL has a high expressivity and normal forms that enable automated analysis. Software environments for performing verification of TTL specifications have been developed. TTL proved its value in a number of domains.
منابع مشابه
Modelling and Specifying Scenarios and Agent Behaviour
∗ Work reported in this paper is partly supported by China National High Technology Research Programme (863 Programme) under grant 2002AA116070. Abstract Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further investigate how diagrammatic models of multi-agent systems can b...
متن کاملSpecification and Verification of Dynamics in Agent Models
∗ A preliminary (short) version of this manuscript appeared in the Proceedings of the International Conference on Intelligent Agent Technology (IAT'06) Abstract Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur among agents with dynamics that are hard to handle. This paper presents the predicate logical Temporal Trace Language (TTL) f...
متن کاملOrganization Models and Behavioral Requirements Specification for Multi-Agent Systems
The main question addressed in this paper is how requirements on the dynamics of a multi-agent systems and individual agents can be related to the dynamics of high level concepts given by an organisation model, such as groups, roles within groups, and role interaction. In terms of these organisational concepts, which abstract from the specific agents assigned to roles, different types of requir...
متن کاملPrediction of Iranian EFL Learners’ Learning Approaches Through Their Teachers’ Narrative Intelligence and Teaching Styles: A Structural Equation Modelling Analysis
It goes without saying that there are many influential factors affecting the success of any learning experience, and teachers are definitely among the significant factors influencing the process of teaching and learning. In this respect, the present study sought to investigate the prediction of Iranian English as a Foreign Language (EFL) learners' learning approaches through their teachers’ nar...
متن کاملCAMLE: A Caste-Centric Agent Modelling Language and Environment
The necessity of a methodology for developing multi-agent systems (MAS) has been widely recognized due to the difficulties in analysis, specification, design, implementation and testing the autonomous and collaborative behaviours of such systems. This paper presents CAMLE – a caste-centric agent modeling language and environment. The methodology underlying the language and environment is based ...
متن کامل